RecordPattern4.agda:9,6-19
Cannot split on argument of non-datatype _2
when checking that the pattern record { f = a } has type _2
